Techniques

Results: 34605



#Item
541

Journal on Satisfiability, Boolean Modeling and ComputationHard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques Harri Haanp¨ a¨

Add to Reading List

Source URL: jsat.ewi.tudelft.nl

- Date: 2006-03-23 10:14:05
    542

    Perturbation & adaptation models for timed systems Abstract The main objective of this PhD is to consider perturbations in tied models, formal modeling of perturbation correction techniques, and the robustness of timed

    Add to Reading List

    Source URL: www.irisa.fr

    - Date: 2016-09-22 09:43:28
      543

      From the Lab to the World Lessons from Extending a Pointing Technique for Real-World Use The quest to improve target acquisition has received significant attention in HCI over the years. While many pointing techniques o

      Add to Reading List

      Source URL: faculty.washington.edu

      - Date: 2011-06-16 18:36:21
        544

        Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS & ENS Cachan – France Abstract. Extending formal verification techniques to handle quantitative aspec

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2014-07-25 05:56:10
          545

          Indented Tree or Graph? A Usability Study of Ontology Visualization Techniques in the Context of Class Mapping Evaluation Bo Fu1, Natalya F. Noy2, Margaret-Anne Storey1 1

          Add to Reading List

          Source URL: keg.cs.uvic.ca

          - Date: 2015-12-10 13:13:31
            546

            Concepts in Programming Languages: Exam Rehearsal Oded Padon & Mooly Sagiv Concepts & Techniques

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-06-15 07:51:26
              547

              AN EXERCISE IN SIGNAL PROCESSING TECHNIQUES Theodora Ananidou Theofilos S. Sarris Ian Lerche ABSTRACT

              Add to Reading List

              Source URL: d32ogoqmya1dw8.cloudfront.net

              - Date: 2013-11-21 13:39:06
                548

                NASA/ESA Conference on Adaptive Hardware and Systems An Overview of Low-Power Techniques for Field-Programmable Gate Arrays Julien Lamoureux and Wayne Luk {jlamoure, wl}@doc.ic.ac.uk

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2009-09-14 00:13:21
                  549

                  Comparing Software Architecture Recovery Techniques Using Accurate Dependencies Lin ∗ Univ. of Waterloo, Canada

                  Add to Reading List

                  Source URL: ece.uwaterloo.ca

                  - Date: 2015-02-15 10:58:57
                    550

                    A Survey of FRBRization Techniques Joffrey Decourselle, Fabien Duchateau, Nicolas Lumineau To cite this version: Joffrey Decourselle, Fabien Duchateau, Nicolas Lumineau. A Survey of FRBRization Techniques. Theory and Pra

                    Add to Reading List

                    Source URL: hal.archives-ouvertes.fr

                    - Date: 2016-12-19 13:14:58
                      UPDATE